hyperarithmetical quantifier перевод

quantifier: 1) _лог. _мат. квантор Ex: universal quantifier всеобщий квантор, квантор общности Ex: existential quantifier квантор существования2) квантификатор, кванторное слово (количественное числительное, на
hyperarithmetical computability: мат. гиперарифметическая вычислимость
hyperarithmetical computation: мат. гиперарифметическое вычисление
hyperarithmetical function: мат. гиперарифметическая функция
hyperarithmetical hierarchy: мат. гиперарифметическая иерархия
hyperarithmetical permutation: мат. гиперарифметическая перестановка
hyperarithmetical point: мат. гиперарифметическая точка
hyperarithmetical predicate: мат. гиперарифметический предикат
hyperarithmetical relation: мат. гиперарифметическое отношение
hyperarithmetical set: мат. гиперарифметическое множество
bounded quantifier: ограниченный квантор
choice quantifier: мат. квантор выбора
dummy quantifier: мат. фиктивный квантор
existence quantifier: квантор существования
existential quantifier: квантор существования